321. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
322. Logics of specification languages
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
323. Logics of specification languages
پدیدآورنده : Dines Bjrner, Martin C. Henson, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
324. MAX + Plus II: programmable Logic development system, Getting Started
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Logic Programming,، AHDL
325. Mathematical aspects of logic programming semantics
پدیدآورنده : / Pascal Hitzler, Anthony Seda
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic programming,Programming languages (Electronic computers),-- Semantics
رده :
005
.
115
H676M
2011
326. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
پدیدآورنده : Nonmonotonic and inductive logic:second international workshop reinhards brom castle,Germany,December 1991 proceedings
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Logic programming-congresses,Artificial intelligence-congresses
رده :
QA
76
.
6
.
N671
1993
327. Mathematical logic and programming language
پدیدآورنده : Hoare, C. A. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
328. Mathematical logic and programming languages
پدیدآورنده : edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
329. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
330. Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992: proceedings
پدیدآورنده : A. Pettorossi, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
649
331. Meta-programmming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
I567
1992
332. Mind versus computer: were Dreyfus and Winograd right?
پدیدآورنده : edited by M. Gams, M. Paprzycki, and X. Wu
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Artificial intelligence,، Machine learning,، Logic programming
رده :
Q
334
.
5
.
M56
333. Mind versus computer :were Dreyfus and Winograd right?
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Artificial intelligence,، Machine learning,، Logic programming
رده :
Q
334
.
5
.
M56
1997
334. Natural language understanding
پدیدآورنده : Allen, James
موضوع : ، Programming languages )Electronic computers(- Semantics,، Language and logic,، Artificial intelligence
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
335. Natural language understanding
پدیدآورنده : / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
336. Natural language understanding
پدیدآورنده : / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
337. Natural language understanding and logic programming, II
پدیدآورنده : / edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses
رده :
QA76
.
7
.
I578
1987
338. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
پدیدآورنده : edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
رده :
QA
76
.
63
.
I58
1987
339. Natural language understanding and logic programming, III : Proceedings of the third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 Jan., 1991
پدیدآورنده : edited by Charles Grant Brown, Gregers Koch
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
63
.
I58
1991
340. Non-deterministic concurrent logic programming in Pandora
پدیدآورنده : Bahgat, Reem
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming,، Pandora )Computer program language(
رده :
QA
76
.
63
.
B34
1993
